Juan Manuel Cardona Granda's Documents

Juan Manuel Cardona Granda's Documents

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August
Read more
Deconstructing Olduvai: A Taphonomic Study of the Bed I Sites (Vertebrate Paleobiology and Paleoanthropology)

Deconstructing Olduvai: A Taphonomic Study of the Bed I Sites (Vertebrate Paleobiology and Paleoanthropology)
Read more
Muslims in Spain and Islamic Religious Radicalism

Muslims in Spain and Islamic Religious Radicalism
Read more
Marketing von Solutions

Marketing von Solutions
Read more
A Place to Be: Brazilian, Guatemalan, and Mexican Immigrants in Florida's New Destinations

A Place to Be: Brazilian, Guatemalan, and Mexican Immigrants in Florida's New Destinations
Read more
Allelopathy: A Physiological Process with Ecological Implications

Allelopathy: A Physiological Process with Ecological Implications
Read more
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)
Read more
Applied General Equilibrium: An Introduction

Applied General Equilibrium: An Introduction
Read more
A Nonlinear Transfer Technique for Renorming

A Nonlinear Transfer Technique for Renorming
Read more
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002

Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002
Read more
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings

Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
Read more
Mobile Communication and Society: A Global Perspective

Mobile Communication and Society: A Global Perspective
Read more
Intelligent Decision-making Support Systems: Foundations, Applications and Challenges (Decision Engineering)

Intelligent Decision-making Support Systems: Foundations, Applications and Challenges (Decision Engineering)
Read more
Analisis multivariado. Un manual para investigadores

Analisis multivariado. Un manual para investigadores
Read more
Rare Diseases Epidemiology

Rare Diseases Epidemiology
Read more
Methods to Study Litter Decomposition: A Practical Guide

Methods to Study Litter Decomposition: A Practical Guide
Read more
Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification
Read more
GPS and Galileo: Dual RF Front-end receiver and Design, Fabrication, & Test (Communication Engineering)

GPS and Galileo: Dual RF Front-end receiver and Design, Fabrication, & Test (Communication Engineering)
Read more
GPS and Galileo: Dual RF Front-end receiver and Design, Fabrication, & Test (Communication Engineering)

GPS and Galileo: Dual RF Front-end receiver and Design, Fabrication, & Test (Communication Engineering)
Read more
Teaching Mathematics Online: Emergent Technologies and Methodologies

Teaching Mathematics Online: Emergent Technologies and Methodologies
Read more
Concerto pour instruments désaccordés : Souvenirs d'un psychiatre

Concerto pour instruments désaccordés : Souvenirs d'un psychiatre
Read more
Multidimensional minimizing splines: theory and applications

Multidimensional minimizing splines: theory and applications
Read more
El trabajo recobrado: una evaluación del trabajo realmente existente en España

El trabajo recobrado: una evaluación del trabajo realmente existente en España
Read more
Software Evolution and Feedback: Theory and Practice

Software Evolution and Feedback: Theory and Practice
Read more
Essays on Port Economics (Contributions to Economics)

Essays on Port Economics (Contributions to Economics)
Read more
Human-Centric Interfaces for Ambient Intelligence

Human-Centric Interfaces for Ambient Intelligence
Read more
Frommer's Mexico 2009 (Frommer's Complete)

Frommer's Mexico 2009 (Frommer's Complete)
Read more
Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding

Technology-Enhanced Systems and Tools for Collaborative Learning Scaffolding
Read more
WILD BIRD HPAI SURVEILLANCE: sample collection from healthy, sick and dead birds

WILD BIRD HPAI SURVEILLANCE: sample collection from healthy, sick and dead birds
Read more
Business Cooperation: From Theory to Practice

Business Cooperation: From Theory to Practice
Read more